Oeuvres de
GIRARD.Jean-Yves, JYG,
Voc Math Gen & log,
Réconcilier Essence et Existence...., en rejetant toute métaphysique. !?
Une déconstruction du credo essentialiste contre nature dont le grand livre aurait été écrit en Théorie des ensembles.
Revenir sur le statut du langage dans lequel le grand livre de la nature aurait été écrit.
pour une langue écritre en Logique linéaire, ...sans infini ?
& Vocabulaire de Logique,
& Vocabulaire de mathématique,
& LOGIQUE, sur gaogoa,
& Schema L augmenté,
∨ .swf,
gaogoa, Mathématiques,
- LaTex,
-Visual Math Editor,
- Symboles littéraux,
- Villemin, math93
- Règles de composition,
- Katakana, W, Hiragana,
- Editeur Japonais JWPce,
- L’algèbre linéaire est la branche des mathématiques qui s'intéresse aux espaces vectoriels et aux transformations linéaires, formalisation générale des théories des systèmes d'équations linéaires.
Sous leur forme la plus simple, les applications linéaires dans les espaces vectoriels représentent intuitivement les déplacements dans les espaces géométriques élémentaires comme la droite, le plan ou notre espace physique. Les bases de cette théorie remplacent maintenant la représentation construite par Euclide au IIIe siècle av. J.-C.. La construction moderne permet de généraliser la notion d'espace à des dimensions quelconques.
L'algèbre linéaire permet de résoudre tout un ensemble d'équations dites linéaires utilisées non seulement en mathématiques ou en mécanique, mais aussi dans de nombreuses autres branches comme les sciences naturelles ou les sciences sociales.
Les espaces vectoriels forment aussi un outil fondamental pour les sciences de l'ingénieur et servent de base à de nombreux domaines dans la recherche opérationnelle.
Enfin, c'est un outil utilisé en mathématiques dans des domaines aussi divers que la théorie des groupes, des anneaux ou des corps, l'analyse fonctionnelle, la géométrie différentielle ou la théorie des nombres.
notion scientiste pour JYG
Dans le cadre de la logique aristotélicienne, la forme apodictique est opposée à la dialectique, à l'instar de la preuve scientifique s'opposant à un raisonnement de nature probabiliste. Le mot anapodictique (qui signifie « indémontrable » chez Aristote) représente les prémisses premières et immédiates d'où part le syllogisme apodictique : ses axiomes. On peut par exemple penser aux principes classiques de la logique formelle : le principe d'identité, le principe de non-contradiction, le principe de bivalence et celui de tiers exclu.
Kant oppose le jugement apodictique, qui est démontré ou immédiatement nécessaire, au jugement assertorique, dont la vérité n'est pas démontrée ni immédiatement nécessaire, et au jugement problématique qui ne présente qu'un caractère de vraisemblance ou de possibilité
- un roc pour JYG
- Gödel, 1931, incomplétude, Hilbert, ..c'est la force de la Logique classique
Broccoli
♣
- arborescence, arborescence fractale ? ?
-Logique de Broccoli, référée à Ponzi, (escroquerie sous forme d'une pyramide inversée) (Déconfiné, 10.50)
- romano,
le dual de l'ensemble P = Pop ou P*
-
L’informatique resubstantialise la Logique, (Mathématique et Informatique, Zanotti)
- crise des fondements, Burali Forti, 1897, c'est la pandémie ...
- Paradoxe de Burali-Forti, :
En mathématiques, le paradoxe de Burali-Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante). Dit brièvement, il énonce que, comme on peut définir la borne supérieure d'un ensemble d'ordinaux, si l'ensemble de tous les ordinaux existe, on peut définir un ordinal supérieur strictement à tous les ordinaux, d'où une contradiction.
L'argument utilise donc la notion d'ordinal, c’est-à-dire essentiellement celle de bon ordre : il est plus technique que le paradoxe de Russell, bien que son argument ne soit pas si éloigné de ce dernier qui est plus simple à comprendre et à formaliser. Cependant, le paradoxe de Burali-Forti est le premier des paradoxes de la théorie des ensembles à être publié, six ans avant le paradoxe de Russell, et Georg Cantor en fait état dans sa correspondance, ainsi que du paradoxe du plus grand cardinal (dit paradoxe de Cantor), dans les mêmes années. Par ailleurs, le paradoxe de Burali-Forti met directement en jeu la notion d'ordre, et non celle d'appartenance (même si aujourd'hui ces deux notions coïncident pour les ordinaux tels qu'ils sont définis en théorie des ensembles). Ainsi l'incohérence de certaines théories a été établie en dérivant directement le paradoxe de Burali-Forti1. C'est ainsi que John Barkley Rosser a démontré en 1942 l'inconsistance d'une des premières versions des New Foundations2 de Willard Van Orman Quine3 .
- le confinement est un système sectaire,
- La dénotation de Frege, n'explique rien ...(Déconfiné, 12.00, JYG)
- GIRARD.J-Y est-il un lobbyiste de Microsoft-Apple ? Un cyber-logicien Trans-humaniste, W, un logicien augmenté, un mutant homme-machine, fruit des amours de l’homme et de la machine, le rêve Jodorowskyen de la montagne sacrée…?
Est-il nécessaire de passer par le machine ? La pensée, l'écriture ne sont-elles pas suffisantes ...(un crayon et un bloc, ou une craie et une ardoise ?). Certes si elle rend des services (la machine) ...elle génère nombre de sévices ...
Le réseau est-il indispensable ...Logique génétique ....de la reproduction....métonymie
instrumentale.
Tout juste un outil !? Certes ..un peu ...sophistiqué ! Qu'en pense le Poulpe ?
L'homme veut copier la nature ....(voler, nager, radar, transmettre ses pensées .....).
à noter :
- l'usage de : Surmoi ? 2 eme Topique Freudienne.
Lacan a reformulé cette notion ... RSI... le symbolique, mais JYG veut l'os, et non l'incorporel ...
- La logique disons Lacanienne, l'algèbre lacanien, et post, s'efforce, pose la séparation plutôt que l'intrication sujet/objet girardienne !
Mais aujourd'hui les enfants naissent avec un iphone dans la main couvert de gel échographique, saturés d'ondes wifi, quand leurs géniteurs se sont rencontrés sur internet pour un programme de fécondation médicale assistée ! Et peut-être issus d'une cryo-fécondation ! Alors s'y perdre est compréhensible !
Séparer le sujet de son objet ....parfois toxique ...
Le sujet, oui mais le sujet barré, 
permet d'écrire 
le fantasme, 
-
- Topiques et RSI,
- LACAN forclos chez GIRARD ??
SXIV-Lacan 16-11-1966,
aussi voir les incorporels et incorporelles ....
Le sujet de la psychanalyse c'est le sujet de la science,
フ ) ou fu est aujourd'hui le Portable-Smartphone, auquel vous vous cramponnez ! (y préférer ceci !).
Le schéma ci-dessus pourrait bénéficier de quelques précisions, de quelques commentaires !! :
- au centre, le S barré, et le petit a,
- peut-être triskéliser borromennement le triangle...pour la tendance, ...
- Intégrer le niveau quantique ... !? L'ordinateur quantique y suffira ! Quid des tables de vérité ..
- Il est certain que la technologie informatique est, devient un Réel, qui s'impose dans nos vies,
et son usage les encadre à de nombreux niveaux.... (rôle des algorithmes, donc des mathématiques utilitaristes..., statistiques, récurence, automatisme, .), voir impacte le climat, et ou ses objets encombrent le Ciel ..., nous sommes les rats du laboratoire, rien de nouveau !
- Tentation du trans-humanisme...;
la vie éternelle, ici et maintenant ! La mutation ....
- Lacan parlait dans Radiophonie des ondes ...(wifi, cloud, radios, ...portables, ...antennes, ...), l'alétosphère, !?
Le Ciel réalisé, ci-contre...
Le monstrueux par exemple est aussi bien présent dans les formes de dégénérescences du corps, les pandémies, que dans les bugs, les réseaux pléthoriques, les usages viciés de la machine,
Mais la machine ne se répare pas toute seule ! Il faut au pire programmer son reboutage ...ou trouver des puces ..
L'homme par contre, se répare, guérit le plus souvent tout seul !
Bon il y a les charlatans pour aider ....gagner du temps ...parfois ...
La machine, et l'IA suppléent ... de l'ordre de l'infirmerie ....
Et le Sujet de la psychanalyse c'est le sujet de la Science, ....et ça ne passe pas par l'informatique ....ou fugacement..
D'ailleurs pour tout toxico de l'écran et de la souris, cette relation n'est pas sans domages, et physique et "psychique". L'écriture et la lecture avaient déjà leurs maux, quant à ceux ceux de l'informatique ...
Voir Sciences sur Gaogoa,
Ces objets de consommation que
Lacan a défini comme lathouses17, liées à
l’alétosphère, le lieu de production de la
technologie scientifique.
Les lathouses représentent le savoir de la science.
Radiophonie scilicet 2/3 p76
ou Autres Ecrits, p403
Lacan nomme lathouse, de léthé (oubli) et aletheia (vérité), l'objet a banal de consommation pouvant devenir la chose la plus effrayante sur la vérité du désir. ... Mais si l'objet a est une plus-value, la lathouse est une moins value.
Théorème de Herbrand : En logique, le théorème de Herbrand, publié en 1930 par Jacques Herbrand, établit un lien entre la logique du premier ordre et la logique propositionnelle (qui peut-être vu comme la logique d'ordre zéro). La validité (ou prouvabilité) d’une formule du premier ordre se ramène à la validité (ou prouvabilité) d'un ensemble fini de formules propositionnelles.
C'est le monstre de Gila, ( Lézard venimeux, d'Amérique du Nord, qui tête coupée mort encore ....), W,
- Le mot « infini » (-e, -s ; du latin in-, préfixe négatif, et finitus, « limité ») est un adjectif servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille. , W,
- L'infini, c'est la DI, la droite infinie, celle de l'axe orthonormé de la géométrie euclidienne, .. il y a toujours de l'espoir..., Voir vocabulaire de topologie Nodologie...
- Comment se ferme le noeud .... dans l'Inconscient ....? La question du nouage (RSI, au mieux borroméen) est donc une inconnue qui telle une planète invisible mais influente oriente l'axe du destin personnel. L'objet (ou son absence) focal de ce nouage, est idéalement un signifiant, qui ruissellera, ou surgira dans le discours du sujet sous forme de signifié ... mais cela peut être un tout autre objet du désir ...., alors le noeud disparait, de n'être plus noué ...pour se reformer autour, dans un autre signifiant ....
Mais JYG, évacue le recours à la topologie et à la nodologie ....(me semble-t-il !?). à documenter et préciser ...
La techno-informatique (Techno-Sciences) est un Réel ! (est devenue !?).
Un Réel conçu, inventé, réalisé par l'homme. Ce Réel prend source dans l'invention des structures mégalitiques et monumentales astronomiques religieuses ou calandaires, dans celle des automates, ou des machines à calculer antiques (Antycythère.., Astrolabe, ), des horloges, non sans passer par le "cadeau" de PASCAL.A, à son papa ! La "pascaline", puis par la calcultrice mécanique puis électroniques, et enfin quantiques...
- Une machine produit de la pensée, un texte scientifique réalisé !
L'hommes du XXI eme siècle, sa réalité, est ainsi tendue entre deux réels, celui d'une mécanique cosmologique (Relativité d'Einstein) et celui de la mécanique quantique (M.Planck).
- DUTARTRE, Intruments de l'astronomie ancienne,
L’informatique resubstantialise la Logique, (Mathématique et Informatique, Zanotti)
TARSKI : A => A est vrai car (A est vrai) implique (A est vrai)
BROCCOLI : A♣ B, est vrai car (A est vrai) meta ♣ (B est vrai)
2) C'est une lapalissade aux vertues dormitives, c'est idiot mais correct !
3) Déréalisme, (hors objet, hors sujet), idiot et faux !
Certaines preuves sont invisibles, car il y a des choses cachées ...
En Logique, seul KANT a posé les bonnes questions, non sans s’égarer !
En Logique, seul KANT a posé les bonnes questions, non sans s’égarer ! (voir KANT).
Le Logique est permanent, ne change jamais,
Le système est contingent, une impermanence arbitraire.
- La logique linéaire est une version symétrisée de l'intuitionnisme,
01-01-2017, vidéo,
Seule la modalité a un sens !A. Car elle contrôle la pérennité !
détruit la ressource !A
B(Multijection : U+22B8, ⊸ ⊸ ⊸ ???)
, multiplié par cerclé, U 2297, U2A01, html : ⊗ ?????, usage : produit tensoriel, Ce qui les relie, c'est deux finis, soit la justification ensembliste de l'adéquation usine/usage pour éliminer les coupures ensembliste !
- Type = est une trace écrite,
- Il peut y avoir plusieurs comportements pour un même Type, (autour de 54.00. JYG Déconfiné)
, S barré, pour le Sujet .... Who ! ce n'était pas fou !